Formal systems - PDFSEARCH.IO - Document Search Engine

Formal systems
Results: 1365

#	Item
21	Formal Analysis of Electronic Voting Systems Mark Ryan University of Birmingham joint work with Ben Smyth Steve Kremer Add to Reading List Source URL: www.cs.bham.ac.uk. Language: English - Date: 2010-04-20 09:42:28
22	Chapter 12 Leveraging Cellphones for Wayﬁnding and Journey Planning in Semi-formal Bus Systems: Lessons from Digital Matatus in Nairobi Add to Reading List Source URL: www.digitalmatatus.com - Date: 2015-08-04 14:07:14
23	Title: Formal Synthesis of Control Strategies for Dynamical Systems Abstract: In control theory, complex models of physical processes, such as systems of differential equations, are analyzed or controlled from simple s Add to Reading List Source URL: fmse.info.uaic.ro - Date: 2018-03-28 04:48:03
24	Cambridge University Press7 - Real-Time Systems: Formal Specification and Automatic Verification Ernst-Rudiger Olderog and Henning Dierks Frontmatter More information Add to Reading List Source URL: assets.cambridge.org - Date: 2008-10-20 04:00:11
25	A Formal Definition of Intelligence for Artificial Systems Shane Legg and Marcus Hutter IDSIA, Galleria 2, Manno-Lugano 6928, Switzerland {shane,marcus}@idsia.ch A fundamental difficulty in artificial intelligence is th Add to Reading List Source URL: www.vetta.org - Date: 2006-07-19 05:43:18
26	Cambridge University Press7 - Real-Time Systems: Formal Specification and Automatic Verification Ernst-Rudiger Olderog and Henning Dierks Copyright Information More information Add to Reading List Source URL: assets.cambridge.org - Date: 2008-10-20 04:00:11
27	Introduction to the Proceedings of FAMAS’09 Formal Approaches to Multiagent Systems (Introductory Essay of the Workshop) Barbara Dunin-Ke¸plicz∗ and Rineke Verbrugge† ∗ Institute Add to Reading List Source URL: ceur-ws.org - Date: 2009-08-10 09:53:16
28	Cambridge University Press7 - Real-Time Systems: Formal Specification and Automatic Verification Ernst-Rudiger Olderog and Henning Dierks Excerpt More information Add to Reading List Source URL: assets.cambridge.org - Date: 2008-10-20 04:00:11
29	FORMAL APPROACHES TO MULTI-AGENT SYSTEMS, On the Incentive Compatible Core of a Procurement Network Formation Game with Incomplete Add to Reading List Source URL: ceur-ws.org - Date: 2009-08-10 08:39:14
30	Cambridge University Press7 - Real-Time Systems: Formal Specification and Automatic Verification Ernst-Rudiger Olderog and Henning Dierks Table of Contents More information Add to Reading List Source URL: assets.cambridge.org - Date: 2008-10-20 04:00:11

UPDATE